projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b532c4e) | patch
d/shuffle-boot-files: Also handle debug files
authorHans van Kranenburg <hans@knorrie.org>
Sat, 14 Jan 2023 23:40:49 +0000 (00:40 +0100)
committerHans van Kranenburg <hans@knorrie.org>
Wed, 1 Feb 2023 23:13:49 +0000 (00:13 +0100)
commited93dfd87155863d3d01bb0e4a7d867b6df31440
tree78ad3eae19c274802576ef55f9f1639de2595e44tree | snapshot
parentb532c4e37bbc3f71e13668bb07a1d66939ac4048commit | diff
d/shuffle-boot-files: Also handle debug files

See the comment in the change for explanation. We do a fixup for file
names in /boot already, but the files in /usr/lib/debug should get the
same treatment!

Closes: #995233
Signed-off-by: Hans van Kranenburg <hans@knorrie.org>
debian/shuffle-boot-files diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.